arithmetic predicate

[计] 算术谓词